[mijin2009hust]

举个例子：
X^2+3y+Z^2=150
2*X+y^2+Z^2=250
5*X+3y+Z^2=100
希望能够将所有的解显示出来，但是使用given/find模式只能根据x/y/z的初始实例获取一组解，实际上我希望得到所有关于这个方程组的解，请高手赐教？