WolframAlpha computational knowledge AI
Frobenius number {4, 7, 12}