loading SCIP...
24 19718 true
3 7 11 18 20 31 32 37 38 39 41 54 57 62 67 68 69 71 74 75 81 84 93 97