How do you solve lnxln3=4?