solve x^2 + y^2 = 1 and x y = 1/2