How do you solve tan40º = x/12?