loading SCIP...
9 48547 true
0 14 24 30 40 47 49 72 78