Problem 11541 solved, 'Decoding'