loading SCIP...
10 48047 true
2 13 28 29 40 42 45 49 64 89