cnf.dimacs 14 Bytes