solve {a^2=(x-1)^2+y^2+z^2, b^2=x^2+(y-1)^2+z^2, c^2=x^2+y^2+(z-1)^2} for x,y,z