loading SCIP...
30 8844 true
2 7 13 15 20 21 24 27 29 30 34 36 42 50 55 58 62 63 65 67 68 70 74 75 77 79 86 87 88 93