cnf.dimacs() outputs to a file