loading SCIP...
10 46141 true
2 4 13 14 32 80 81 86 95 98