loading SCIP...
59 78 true
1 3 4 5 6 8 11 13 14 17 25 26 28 29 30 31 32 35 36 37 38 40 41 42 43 44 46 47 49 50 53 55 57 59 60 61 63 66 68 69 70 71 74 75 76 77 78 79 81 82 83 84 86 87 88 94 95 97 99