loading SCIP...
10 48500 true
1 10 54 61 64 66 77 79 89 99