SMS versenden: Hľadanie špeciálnych kvázigrúp pomocou SAT solverov