loading SCIP...
12 38703 true
11 31 33 35 51 63 70 76 77 78 87 91