7 ms·How I Solved GCHQ's Xmas Card with Python and Pycosat. (Explanation and Source)6 points by kipi 11y agoPeroni 11y agoInteresting solution but isn't there four more 'levels' to solve?