How do you solve cos(23) = 4.97/x ?