loading SCIP...
10 41907 true
23 45 50 52 61 65 71 72 74 88