Dodani cnf in dpll datoteki, ki smu ju delali danes in delujoč cnf