loading SCIP...
23 19671 true
0 5 6 8 13 26 32 33 36 42 45 47 63 65 70 74 76 83 85 87 88 94 99