Solving NYT Pips with SMT | Dark Hacker News