loading SCIP...
11 40469 true
2 8 14 28 33 43 60 74 78 81 90