This is a solution to the "Happy Holidays" puzzle shown here.
In case that link becomes dead, the puzzle is as follows. Each letter represents one of the digits from 0 to 9, and different letters represent different digits. Find the mapping of letters to digits that gives the correct solution to the sum.