loading SCIP...
11 45891 true
5 7 26 34 35 39 43 44 61 84 88