The solution to the problem is as follows:
Use law of sines.
18/sin90 = x/sin45
Then you end up with 12.7279...
Rounds to 12.7
I hope my answer has come to your help. Thank you for posting your question here in Brainly. We hope to answer more of your questions and inquiries soon. Have a nice day ahead!
