solve x^2-y=1, x+y=1