How do you solve sin1x=42?