Best place to sell premium domains for top dollar?

I've been out of this game for a while but have been sitting on domains that I believe are worth quite a bit. What's the best place to reach the right customer these days?

Sedo?
Flippa?