(A*B) + C = X; 6≥A≥1; 12≥B≥1; 13≥C≥1