How do you solve log5x=12?