loading SCIP...
57 94 true
1 2 4 5 7 10 11 12 13 14 16 17 19 20 21 22 23 24 27 28 29 30 32 33 34 36 37 38 41 42 43 47 50 53 55 60 70 72 73 74 76 77 78 80 82 84 85 87 88 89 90 93 94 95 97 98 99