loading SCIP...
9 51187 true
11 30 39 64 73 77 88 90 93