loading SCIP...
12 38500 true
1 7 18 23 36 37 43 61 62 64 78 82