ふーむ。（まだやっていいのか不明だけど）「黒17枚、白22枚となる盤面（や、他に条件が成り立ちそうな盤面）は無数に考えられるので、そのうち、ゲーム開始状態から到達可能な盤面はたくさんありそう」ということも証明しなければならず、問題の難易度が変化しているのだろうか？という疑問はあります。