How do you solve 5^x=12?