loading SCIP...
10 42407 true
8 13 19 24 46 48 87 93 96 99