Is there any update on the exact amount of the total tokens sold? And has the softcap already been reached?