loading SCIP...
9 49390 true
6 7 13 40 43 54 78 81 90