SAT problems are kind of cool | Hacker News Reader