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