loading SCIP...
12 37062 true
2 5 13 22 25 32 34 37 44 91 95 97