# Minesweeper problem.
# This problem file is used by
# http://www.hakank.org/choco/MineSweeper.java
# 
# Problem from Gecode/examples/minesweeper.cc  problem 5
10
10
.21.2.2...
.4..3...53
...4.44..3
4.4..5.6..
..45....54
34....55..
..4.4..5.5
2..33.6...
36...3..4.
...4.2.21.