cnf.dimacs 166 Bytes