loading SCIP...
10 43437 true
24 29 32 41 46 54 60 81 94 96