loading SCIP...
12 38609 true
2 13 26 33 35 40 45 56 78 89 92 96