How do you solve log_2 3=xlog23=x?