loading SCIP...
10 41078 true
2 7 26 33 35 41 72 76 79 91