loading SCIP...
18 28625 true
9 10 16 28 33 41 48 51 52 56 63 67 72 76 78 81 94 98