cnf.dimacs 441 Bytes