loading SCIP...
51 94 true
1 2 3 5 6 7 9 10 12 13 14 15 17 19 20 21 25 26 27 28 30 31 32 35 40 42 43 44 46 49 50 54 59 63 66 67 69 70 73 75 78 79 80 81 82 85 89 91 95 98 99