loading SCIP...
11 38984 true
2 3 11 33 46 48 71 73 76 79 94