For thoroughness, it’s also just the same as if you sold anything else that’s subject to capital gains tax in order to pay your taxes, which I suspect is not a rare occurrence.