loading SCIP...
28 11188 true
5 6 10 11 13 14 17 20 27 29 33 35 38 48 56 58 59 60 63 65 66 74 77 79 85 94 95 96