loading SCIP...
65 78 true
1 2 3 4 7 8 10 11 12 13 14 15 16 17 19 22 23 24 25 27 30 36 37 38 39 43 45 46 47 48 49 50 51 52 54 55 57 60 61 64 65 66 67 69 70 71 72 73 75 78 79 80 84 86 88 89 90 91 92 93 94 95 96 97 99