loading SCIP...
9 45140 true
1 42 46 69 70 76 84 86 88