loading SCIP...
37 3422 true
1 8 9 10 13 14 16 18 21 23 27 29 32 36 37 39 40 46 49 52 55 62 63 64 66 67 73 74 76 84 85 87 88 90 92 94 95