loading SCIP...
37 2078 true
9 14 15 16 17 19 23 24 25 26 27 29 31 33 36 38 39 40 42 43 44 55 60 61 63 64 67 69 71 72 75 81 82 86 88 93 99