loading SCIP...
75 78 true
1 2 3 4 5 7 8 9 10 11 13 14 15 16 17 19 21 22 23 24 25 26 27 28 29 30 33 34 37 38 40 41 42 43 44 45 47 51 52 53 55 56 57 58 59 60 61 63 64 66 67 68 69 70 71 72 73 74 77 78 79 81 84 86 87 88 89 90 91 92 94 95 96 98 99