loading SCIP...
58 78 true
0 5 7 8 9 11 13 15 16 18 19 20 22 23 24 33 35 37 38 39 43 44 45 50 51 53 54 56 57 58 59 60 62 65 66 67 68 70 71 72 73 75 76 77 78 80 81 82 83 85 86 87 88 89 91 92 93 98