loading SCIP...
12 42656 true
16 23 25 28 30 33 34 43 55 57 69 95