loading SCIP...
54 109 true
2 3 4 6 7 9 10 13 14 16 17 18 19 21 25 26 27 29 30 31 38 39 40 43 46 49 51 52 53 56 57 58 60 62 63 64 65 67 68 74 75 79 80 82 83 85 87 89 91 92 93 95 96 97