loading SCIP...
10 36375 true
6 22 29 34 38 54 61 74 75 85