TPcomplexite 3 DPLL, a SAT problem solution.