loading SCIP...
12 39515 true
1 10 12 13 21 56 60 83 84 85 87 88