loading SCIP...
10 41875 true
34 39 47 51 68 72 79 88 89 92