loading SCIP...
11 40906 true
4 5 46 61 71 72 75 77 79 94 96