Dpll popravljen tako, da je formula oblike seznam slovarjev. (na vajah)