solve {x + y + z = 3, x y + 2 y z + z x = 0, x y z = -2} over the reals