loading SCIP...
55 94 true
0 4 5 6 7 8 9 10 12 17 20 21 23 25 26 29 30 34 35 36 40 41 43 45 46 48 50 51 53 55 58 59 61 62 63 65 67 68 69 70 71 73 74 76 77 79 80 83 85 86 87 90 91 93 94