Solving equations that contain logs with different bases