loading SCIP...
8 22125 true
16 34 44 58 66 86 95 98