loading SCIP...
34 6203 true
1 6 11 12 13 19 21 23 25 26 27 28 30 35 36 39 47 49 51 52 55 56 58 64 68 71 75 79 81 83 86 90 91 97