loading SCIP...
11 40437 true
7 12 13 25 33 35 50 64 74 92 94