loading SCIP...
10 35531 true
14 29 36 46 62 65 68 71 78 80