SMS versenden: Riešenie úloh pomocou všeobecného algebrického modelovacieho systému