CDCLSolver.backtrack

与えられたレベルまでバックトラックします。 具体的には、ソルバーの状態を与えられたレベルのときのソルバーの状態まで復元します。