How do you solve log_2 3=x?