# Minimum transversals (Boros) of input file : mdhkdd.rec88