comments removed from dimacs