loading SCIP...
10 35469 true
1 2 6 17 48 51 62 66 69 86