じつは >>619 も解かれて無いのか。
現実的な計算時間で答えが出る回答は出てないみたいだ。