A 2^o(n) time algorithm for 3-SAT | Hacker News Reader