3-SAT in polynomial time, or P=NP | Hacker News Reader