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