loading SCIP...
12 37531 true
1 4 6 13 22 26 43 46 60 89 92 94