dimacs.in 0 Bytes