この問題は筆者が今まで掲載してきた中ではトップレベルの難問だと思います。確定的(論理的)に解くのに半端なく骨の折れる問題です。興味のある人はチャレンジしてみてください。