loading SCIP...
24 18625 true
2 8 9 12 13 18 20 33 34 37 52 53 54 56 57 58 61 62 71 72 84 93 94 97