solve over reals y^2+x=11, x^2+y=7