loading SCIP...
11 43500 true
2 3 5 9 60 67 78 84 86 96 99