Jakie uprawnienia przysługują pracownikowi za pracę w dniu wolnym wynikającym z rozkładu czasu pracy?

Pracownikowi zatrudnionemu w równoważnym systemie czasu pracy zlecono nadgodziny w dniu wolnym wynikającym z przeciętnie pięciodniowego tygodnia pracy. Liczba nadgodzin wynosiła 12 h (8 godzin średniotygodniowych, 4 nadgodziny dobowe). Rekompensatą za pracę w godzinach nadliczbowych jest udzielenie czasu wolnego.

Czy udzielenie czasu wolnego w dniu, kiedy pracownik zgodnie z obowiązującym go rozkładem ma zaplanowane 12 godzin wyczerpuje zobowiązanie pracodawcy do udzielenia tego czasu?

Czy też poza tym dniem wolnym, należy pracownikowi dodatkowo udzielić 4 h czasu wolnego z tytułu przekroczenia nadgodzin dobowych?