loading SCIP...
54 78 true
0 9 10 11 12 15 17 18 21 25 30 31 33 36 37 39 40 41 42 43 46 47 50 52 53 57 58 60 61 62 63 66 69 70 72 74 75 77 79 80 82 83 84 86 89 90 91 92 93 94 95 96 98 99