solve log2 (16 - x) = 7