loading SCIP...
47 187 true
1 2 3 5 6 7 9 13 14 15 20 21 23 24 26 32 33 36 37 38 39 43 45 48 50 52 53 54 57 60 61 65 67 68 70 72 80 82 85 86 87 88 91 93 94 95 98