MINOS 5.5: optimal solution found.
1 iterations, objective 0
Nonlin evals: constrs = 19, Jac = 18.
Objective = find a feasible point.
a = 4.99995
b = 2.99995
x = -0.999993
y = -0.999993