loading SCIP...
11 43266 true
4 5 29 40 41 50 64 69 86 93 94