SAT Solving the NY Times Crossword | Hacker News Reader