Solution to the message decoding problem.