Jak zrekompensować pracownikom pracę wykonywaną w majowe święta

Z powodu awarii w dziale produkcji trzech naszych pracowników wyjątkowo wykonywało pracę również 1 i 3 maja br. po 6 godzin w każdym z tych dni (osoby te zasadniczo świadczą pracę od poniedziałku do piątku). Pracownicy nie odebrali dni wolnych z tytułu dodatkowej pracy. Jak zapłacić im za godziny przepracowane we wskazane święta?