How do you solve 8-3cotx-4=1?