loading SCIP...
13 36203 true
1 38 46 54 63 66 67 82 89 93 95 97 99