Solve for x 2^(x-7)=32