loading SCIP...
45 94 true
1 2 6 8 9 10 20 25 26 27 28 31 34 35 36 37 40 41 47 49 50 51 52 53 55 58 61 62 63 64 68 69 70 71 74 80 81 86 87 88 93 94 95 98 99