loading SCIP...
12 41265 true
3 4 9 13 14 35 43 54 55 70 72 99