loading SCIP...
11 42203 true
14 51 53 54 56 60 65 74 77 89 99