minimize sqrt((0-x_1)^2+(0-x_2)^2+(-2-x_3)^2) in x_1-x_2-x_3=1