Solve for x 5^x=17