loading SCIP...
10 41062 true
29 32 39 40 41 56 57 67 75 80