DPLL
minimalna sprememba