DPLL extended to MINSAT. Modified [Li,Zhu,Manya,Simon] Algorithm.