loading SCIP...
27 13875 true
1 2 3 4 9 10 13 17 18 21 24 26 28 33 38 39 40 53 58 60 61 71 82 89 93 98 99