Describir: Riešenie dekódovacieho problému MRHS solverom