loading SCIP...
19 26672 true
6 10 19 22 28 31 32 39 48 50 56 59 62 72 76 84 94 96 98