Narejeni tsti, posodobljen dpll, dodani primeri sat formul.