Jak wynagradzać za pracę w dniu harmonogramowo wolnym przypadającym w święto

Pracownicy zatrudnieni na pełny etat świadczą pracę na zmiany w równoważnym systemie czasu pracy do 12 godzin na dobę w 1-miesięcznym okresie rozliczeniowym, który odpowiada miesiącom kalendarzowym. Ze względu na zmianowość wykonują oni pracę także w niedziele i święta. Jeden z pracowników 3 maja 2016 r. (święto), który był dla niego dodatkowym dniem wolnym od pracy wynikającym z harmonogramu, wykonywał pracę przez 12 godzin (nie był to dzień wolny wynikający z 5-dniowego tygodnia pracy). Jakie wynagrodzenie przysługuje pracownikowi za ten czas?