loading SCIP...
28 12266 true
1 3 6 10 12 15 23 33 38 41 49 50 52 55 60 61 63 65 67 69 71 78 79 81 83 85 86 98