loading SCIP...
10 42703 true
1 5 12 14 18 30 35 53 57 67