solving exponential equations with different bases