loading SCIP...
11 44562 true
2 3 4 12 30 37 39 49 69 76 82