x+y=pi, tan(x-y)=sqrt(3), 0<x<2pi, 0<y<2pi