How do you solve tan 27 = cot (x+9) ?