Playing Minesweeper with a SMT Solver