maximize z on {x^2+y^2+z^2-xy-sqrt(2)y*z-1=0}