minesweeper_9.fzn 23.3 KB