loading SCIP...
9 37312 true
5 22 48 50 60 65 77 82 95