solve y^2 = x^3 + x mod 5