toysolver-0.2.0: samples/programs/sudoku/sample2.sdk

#U http://gigazine.net/news/20100822_hardest_sudoku/
..53.....
8......2.
.7..1.5..
4....53..
.1..7...6
..32...8.
.6.5....9
..4....3.
.....97..