loading SCIP...
15 34875 true
5 21 25 32 40 41 43 46 55 63 66 71 77 79 82