loading SCIP...
26 16672 true
6 10 12 14 18 19 21 22 24 27 32 43 48 54 57 58 63 68 76 82 85 90 93 94 98 99