How do you solve 4+3lnx=12?