Invia SMS: Automatické riešenie problému pokrytia Petrickovou metódou I.