loading SCIP...
8 38188 true
11 21 23 33 75 82 92 94