loading SCIP...
10 42375 true
6 7 17 19 29 39 40 70 87 99