Zaslat SMS: On the Effectiveness of Large Language Models in Writing Alloy Formulas