loading SCIP...
8 41625 true
2 4 37 42 46 50 71 93