loading SCIP...
9 50078 true
6 10 12 35 39 46 62 81 86