Question: How to solve that hard system?

How to solve the system
{sqrt((x-1)^2+(y-5)^2)+(1/2)*abs(x+y) = 3*sqrt(2), sqrt(abs(x+2)) = 2-y}
over the reals symbolically? Of course, with Maple. Mathematica does the job.

Please Wait...