loading SCIP...
18 28156 true
10 12 22 24 34 37 39 46 55 56 65 68 79 81 88 89 90 93