integer solution y^2=x^3-x+3