solve x^3 = y^2 - 22 over integers