simple-sat-solver/expert.minesweeper