loading SCIP...
10 43813 true
2 24 26 35 40 43 50 59 64 87