Minesweeper SAT Solver