Oh sorry, I made a mistake. I thought 10% of BTS will come from PTS, and another 10% of BTS will come from AGS (like in future DACs), while actually it's 50%/50%.
So, in this case, it's not 15%, but 75%. I'm making a rough assumption the smart market evaluates the initial utility of BTS by the price drop. Some portions of all PTS (except those held for 1/2 AGS) goes to 50% of BTS. The remaining portion (held for 1/2 AGS) goes to 25% of BTS. The AGS part is tricky as it's not obvious how the smart market includes them (has this part been traded or considered to be traded?)
It gives us 30,000 BTC / 75% = 40,000 BTC = $24,000,000 (which is somehow in order with BldSwtTrs's and delulo's predictions).
If we ignore the AGS part, then we can say that total number of PTS coins is lower (maybe around 1,250,000 PTS), so the drop is something like 26,000 BTC, so it gives us: 26,000 / 50% = 52,000 BTC = $31,000,000.
(Sorry, I was lazy to take exact numbers, so everything is just a rough estimate).