# Minesweeper problem.
# This problem file is used by
# http://www.hakank.org/choco/MineSweeper.java
# 
# From "Some Minesweeper Configurations",page 3
# It has 4 solutions
8
8
23.22.21
..4..4.2
......4.
.5.6...2
2...55.2
134...4.
01.4...3
012.23.2