The SAT solver is ready