loading SCIP...
10 46203 true
5 28 30 31 32 37 42 47 69 93