loading SCIP...
11 36157 true
1 3 10 21 31 40 44 51 56 79 96