Improved comments a bit.
Added the example given in the DIMACS format description.