数独解くのって難しいのかな?

数独自動解法プログラム(ソースあり)
http://dogmap.jp/2009/09/10/%E6%95%B0%E7%8B%AC%E8%87%AA%E5%8B%95%E8%A7%A3%E6%B3%95%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0/
に
数学のエキスパートが3ヶ月かけて作成した「世界一難しい数独」
http://gigazine.net/news/20100822_hardest_sudoku/
を食わせてみたんだが、一瞬で回答が出たけど。

ソースは見てない。