loading SCIP...
11 40328 true
1 15 17 26 46 56 61 64 86 87 89