loading SCIP...
11 37672 true
4 6 9 21 34 39 41 43 47 66 98