The mint was after withdrawals have stopped, and it does not look like they had run out of unlocked FTT.

In any case there was no buyer in size, so if they had dumped all they could the meagre proceeds would have probably been enough for like an extra half hour worth of withdrawals.