loading SCIP...
10 42937 true
0 9 11 17 24 25 33 37 70 79