loading SCIP...
10 45250 true
6 18 19 30 40 42 48 52 79 87