A state-of-the-art SLS-based SAT-Solver.