solve 3 (2^(4t)) = 5 over real numbers