loading SCIP...
11 43078 true
1 23 30 31 32 35 51 81 88 90 94