Solve for x tan(pi/12)=cot(x-pi/36)