How do you solve #\cos (80^@) = x/10#?