How do you solve 5^x=17?