How do you solve Sin45 = 12/x ?