Where do the tokens for the airdrop come from? From the tokens that would otherwise be burned? Actually I do not remember whether unsold tokens are going to be burned.