loading SCIP...
12 40344 true
2 9 10 20 29 43 57 60 62 64 66 80