3-SAT solver for two-way quantum computers | Hacker News Reader