loading SCIP...
8 19860 true
1 15 26 41 63 72 76 99