loading SCIP...
10 40578 true
8 37 56 57 77 83 84 89 95 97