loading SCIP...
12 38890 true
13 14 19 29 32 34 50 87 88 90 94 99