Solving Battleships with SAT | Hacker News Reader