corrected a bug in dimacs solution verification