Jak rozliczać czas pracy w systemie równoważnym, jeśli pracownicy wykonują pracę w święto?

Nasza firma prowadzi sieć hoteli, w których zatrudniamy pracowników w równoważnym systemie czasu pracy. Pracownicy pracują przez 4 dni w tygodniu po 10 godzin na dobę. Okres rozliczeniowy wynosi 3 miesiące i przypada od 1 listopada 2004 r. do 31 stycznia 2005 r. Jeden z naszych pracowników pracował w święto 11 listopada br. Czy przysługuje mu z tego tytułu dodatkowy dzień wolny lub dodatek do wynagrodzenia? Czy za 25 grudnia i 1 stycznia 2005 r., które wypadają w sobotę, także muszę oddać pracownikom dzień wolny?