Pišema cnf in datoteko s primeri (ki jo je treba še dopolnit)