How do you solve lnx+ln3x=12?