integer solutions of x^2 - 2 == y^3