Update dimacs_parser.py