Solving NYT Pips with SMT | Hacker News Reader