loading SCIP...
8 37500 true
8 12 24 30 36 59 84 94