loading SCIP...
45 172 true
0 3 4 5 6 10 11 13 17 19 20 21 24 26 29 30 32 34 39 40 41 42 50 53 54 55 58 59 60 62 65 66 67 70 75 78 80 82 83 84 89 91 93 95 97