loading SCIP...
16 36235 true
22 33 35 36 37 39 45 53 56 58 86 88 92 93 94 99