'Notcoin' Game to End Mining on April 1—When Is the NOT Token Airdrop?