The problem is supposedly solved in a book The most difficult problem ever.
Referenced byIgoHatsuyoRonProb...