loading SCIP...
16 33796 true
2 6 14 26 27 38 42 45 52 60 71 75 77 79 89 91