maximize x^2+2y^2-x+30 with x^2+y^2 <= 1