solve(x^2 + xy + y^2 = 7, x^2 + xz + z^2 = 7)