loading SCIP...
8 46953 true
2 8 24 36 66 72 84 95