minimum (a-b)^2 + (12 + sqrt(1-a^2) - sqrt(4b))^2