Text this: Automatické riešenie problému pokrytia Petrickovou metódou I.