>>492
それでは最速の証明をどうすればいいのでしょうか?
regulationが決まった数独解析大会があるわけではなし。