x1, y1, x2, y2, x3, y3, 
(x1+5)^2+y1^2-1
(x2-5)^2+y2^2-1
x3^2+(y3-5)^2-1
(x1-x2)^2+(y1-y2)^2-3
(x1-x3)^2+(y1-y3)^2-3
(x2-x3)^2+(y2-y3)^2-3
