loading SCIP...
9 47203 true
11 30 38 57 65 72 79 92 97