loading SCIP...
77 78 true
0 1 3 5 6 7 8 10 11 12 13 14 15 18 19 20 21 23 25 27 28 29 30 31 32 36 37 38 39 40 41 42 43 44 45 46 47 48 49 52 53 54 56 57 58 59 60 61 62 63 65 66 67 69 70 72 73 74 76 77 78 79 80 81 82 83 85 86 88 89 92 93 95 96 97 98 99