https://cointelegraph.com/news/el-salvador-to-build-20-bitcoin-schools-with-surplus-from-bitcoin-trust
The government will use the “surplus” from its Bitcoin Trust account that currently contains 1,120 BTC.