integer solutions of x^4+1=2y^2