loading SCIP...
16 34234 true
9 20 23 28 34 38 46 48 52 53 70 73 76 92 95 98