loading SCIP...
45 297 true
1 3 7 9 10 13 14 15 18 19 21 26 29 31 32 33 36 37 38 40 42 43 47 48 53 59 61 62 64 65 67 69 70 74 75 79 81 82 84 86 89 93 95 97 99