[a_t48]

This happened to me this year with another company. They opened up the ability to sell back RSUs, and a chunk of them got sold to pay for taxes.