maximize (1/2)(x(12-x)+y(13-y)) where x^2+(12-x)^2-y^2-(13-y)^2=0