How do you solve ln(x3)=1?