DIMACS_CNF