% Survo Puzzle problem from http://www.survo.fi/puzzles/280708.txt
% Used by http://www.hakank.org/choco/SurvoPuzzle.java
% Survo puzzle 128/2008 (1700) #364-35846
   A  B  C  D  E  F
1  *  *  *  *  *  * 30
2  *  * 18  *  *  * 86
3  *  *  *  *  *  * 55
  22 11 42 32 27 37