loading SCIP...
53 93 true
1 3 4 6 8 13 14 15 17 18 19 20 21 22 23 26 27 29 34 35 37 39 40 41 43 45 46 48 49 52 53 54 56 57 58 61 62 63 65 70 72 74 75 76 79 80 81 85 92 93 94 95 96