求方程2^2X=2^X+56