A real SAT solution. P is not always hard | Hacker News Reader