loading SCIP...
10 35671 true
1 18 26 31 35 39 53 55 62 67