solve x^2-4y+7=0 and y^2-6z+14=0 and z^2-2x-7=0 over the reals