loading SCIP...
8 46140 true
16 19 28 46 62 65 78 86