Start SAT optimization.