(x*y=2)&(x^2+y^2=5)