勝敗の証明に必要な一部分だけでも走査するには膨大な時間が必要って事。
20個空きとか30個空きじゃなくて60個(59個)空きで「解く」事を言ってるんでしょ?