loading SCIP...
10 44718 true
2 12 22 26 30 43 44 45 84 89