Dimacs contains now comments with original variable names, f for tseit