Tokens are available for mining: