loading SCIP...
37 3532 true
0 2 4 5 6 10 11 13 14 20 21 27 29 30 32 34 35 38 39 44 51 53 55 57 60 61 62 63 66 68 78 84 87 93 95 96 98