Genetic Sat solver, DPLL sat solver