loading SCIP...
75 62 true
0 1 6 8 9 10 11 12 13 14 15 17 18 19 20 21 22 23 24 25 26 27 28 29 31 32 35 36 38 39 40 41 42 43 45 46 48 49 50 51 53 54 55 56 57 58 60 61 62 63 65 66 67 69 70 71 74 76 77 78 79 81 82 84 85 86 88 89 90 91 93 95 97 98 99