How do you solve #4+3 ln x = 12#?