loading SCIP...
10 40719 true
2 12 20 26 35 50 59 64 70 77