Czy praca w dzień wolny wyznaczony za święto to nadgodziny

PYTANIE

Jesteśmy samorządowym zakładem budżetowym. W grudniu 2021 r. w związku ze świętem tj. 25.12.2021 r. przypadającym w sobotę wyznaczyliśmy dodatkowy dzień wolny od pracy w dniu 24.12.2021 r. Występujące w tym dniu niekorzystne warunki pogodowe spowodowały, że dwóch pracowników mimo wolnego dnia musiało przyjść do pracy (odśnieżali drogi). Pracowali po 9 godzin. Moje pytanie dotyczy rekompensaty za wykonaną pracę. Pracownicy chcą otrzymać dodatkowy dzień wolny od pracy i ponadto aby im zapłacić za 9 godzin pracy.