loading SCIP...
13 36469 true
1 9 11 30 34 52 61 69 75 86 94 95 99