loading SCIP...
36 3234 true
1 2 4 9 10 12 14 16 17 21 29 30 31 37 38 39 40 42 43 45 47 49 51 57 59 60 61 63 71 76 77 84 85 88 93 95