loading SCIP...
10 46000 true
2 13 19 22 25 27 40 73 78 90