loading SCIP...
11 41734 true
24 39 54 63 71 81 83 90 91 96 99