loading SCIP...
19 27593 true
0 8 21 27 39 40 41 46 54 56 63 64 66 68 71 72 81 85 96