loading SCIP...
35 7032 true
0 8 11 12 14 15 19 25 27 28 33 39 41 43 48 49 53 54 59 60 62 65 66 67 70 71 74 82 83 85 88 89 92 95 98