# Minesweeper problem.
# This problem file is used by
# http://www.hakank.org/choco/MineSweeper.java
# 
# Problem from Gecode/examples/minesweeper.cc  problem 6
8
8
.32..1..
....1..3
3..2...4
.5...5..
..6...5.
3...5..4
2..5....
..2..34.