SAT Requires Exhaustive Search | Hacker News Reader