extra parameter for creating dimacs files in cnf or equisat-cnf