8^(y - 3) = 2^y