Dodana Rokova sprememba DPLL algoritma