loading SCIP...
12 38953 true
1 9 29 30 33 39 41 46 83 84 86 90