loading SCIP...
55 78 true
2 4 6 8 9 10 12 14 19 21 23 25 27 30 32 33 34 38 41 42 43 44 46 51 52 53 54 55 56 58 59 60 62 65 66 67 70 71 74 76 77 78 79 82 83 84 85 86 87 88 90 93 95 96 98