loading SCIP...
9 49282 true
3 6 12 13 26 75 77 90 98