Practical use of SAT | Hacker News Reader