Czy pracownikowi należy udzielić dodatkowego dnia wolnego od pracy w tym miesiącu?

Pracownik pracuje od środy do piątku. Dniami wolnymi od pracy są: poniedziałek i wtorek. W sierpniu do przepracowania jest 22 dni, tj. 176 godzin i tyle godzin pracy wyjdzie pracownikowi przy jego rozkładzie czasu pracy. 15 sierpnia - święto - przypada na jego dzień wolny od pracy.

Czy w powyższej sytuacji należy pracownikowi udzielić dodatkowego dnia wolnego od pracy w tym miesiącu?