loading SCIP...
11 41609 true
0 1 21 39 57 60 66 81 86 90 92