I'm long, but there is a mistake in the math here.
If the govt converts their warrants for 79.9% of stock, it would mean about a billion or so new shares of stock would be outstanding. That would mean outstanding shares would be in excess of 2.1 billion or thereabouts.
All things being the same, however, it would make for a share price of approximately $25 in such a scenario.