loading SCIP...
10 45265 true
1 8 10 17 31 48 57 64 84 99