loading SCIP...
10 38281 true
12 30 46 59 61 68 71 79 82 92