dimacs: clauses generation now seperated from string production