loading SCIP...
9 48547 true
11 33 52 60 65 71 76 87 90