How do you solve -3=log_7x?