計算機使ったらどの程度のステップまで見積もれるんだろうか
ステップ数の増加はEXPTIMEだろうから
12ステップでも相当な計算量だろね