# Minesweeper problem.
# This problem file is used by
# http://www.hakank.org/choco/MineSweeper.java
# 
# Problem from Gecode/examples/minesweeper.cc  problem 7
9
9
.1.....3.
...343...
244...443
...4.4...
.4.4.3.6.
...4.3...
123...133
...322...
.2.....3.