integer solutions x^2-2y^2=1