This bounty campaign launched now in December, will that amount of tokens available for the campaign be fixed or depends on the amount of tokens sold during the sale?