loading SCIP...
11 41625 true
1 5 7 16 28 35 45 50 69 72 74