loading SCIP...
56 78 true
0 2 4 5 6 7 9 12 13 14 18 19 21 23 24 25 28 31 33 34 35 38 44 45 46 47 48 50 51 52 53 54 55 56 57 59 61 62 63 67 68 69 71 74 75 76 77 78 82 84 85 87 89 91 92 97