fixed bug (in reading special comments in Dimacs.h)