malo drugačna verzija dpll