loading SCIP...
16 34265 true
9 11 23 29 39 45 49 53 59 73 74 76 84 88 90 92