SAT-Solver-LI