Dodana metoda DPLL.