loading SCIP...
8 49282 true
9 10 18 55 59 71 89 98