loading SCIP...
14 36110 true
2 8 33 37 39 43 49 66 72 73 78 79 90 93