almost 85,25% of all bitcoins are mined