loading SCIP...
10 45000 true
3 13 17 22 39 40 59 79 85 97