loading SCIP...
16 32671 true
12 26 27 33 43 44 49 52 55 60 72 78 80 94 95 99