世界一難しい数独

かなり古い話になってしまいますが、
昨年の夏に発表されていた世界一難しい数独を
論理と条件分岐で自力で解くのに成功しました。
別に1年間悩んでいたわけではなく、
発表当時に仮定なしで進めるところまで進めておいて、
最近になって思い出したように解いてみたということです。
折角なので解答をここに載せておこうかと。
問題は以下のとおりです。

5 8       7	3             1	2   5
4       1       3	5   7   2	3         6   8
6       4	5             9	9   3   7

解答は以下のとおりです。
背景色と文字色をともに白にして隠していますので、
解答を見たい方はHTMLソースを見るかハイライトしてください。

1 4 5 8 3 9 6 7 2	3 2 7 6 5 4 9 1 8	6 9 8 1 2 7 5 4 3
4 9 6 2 1 8 7 5 3	1 8 5 4 7 3 2 9 6	3 7 2 9 5 6 4 8 1
3 6 7 9 8 4 5 2 1	5 4 2 7 6 1 8 3 9	8 1 9 2 3 5 7 6 4