Fixed dimacs formatting.