Implemented DPLL to solve all problems of type 1.