解方程组 x+y+z=-7 x-y=12 x+y-z=6