A SomewhatMaxSAT Solver | Hacker News Reader