loading SCIP...
11 39718 true
9 19 24 26 27 39 42 48 55 77 98