Achètent-ils des $SOL sur le marché ouvert ou achètent-ils simplement des tokens verrouillés ?