Changed DPLL procedure