solve(5^x+7=2^x,x)