Řešení KVARO pomocí SOSO - generátor příkladů