optimize 5-3(x-1/3)^2-(y+1/3)^2 with x^2+y^2/3-3=0