loading SCIP...
14 37937 true
24 26 28 38 39 43 55 64 72 77 79 82 84 92