loading SCIP...
26 15469 true
0 1 9 11 16 17 29 31 36 38 42 52 54 61 62 63 71 75 76 78 82 84 87 90 92 97