minimize x+y+z in x^2+y^2<=z<=1