cnf.dimacs 289 Bytes