loading SCIP...
13 37156 true
0 19 28 38 39 40 60 74 79 83 87 88 96