loading SCIP...
15 36266 true
7 21 29 37 40 41 56 77 79 81 84 85 87 88 98