Czy w związku ze świętem 3 maja br. pracownikowi, który pracuje od wtorku do soboty, należy udzielić dodatkowego dnia wolnego od pracy

W maju br. ze względu na święto 3 maja pracownicy, którzy mają wolną sobotę wynikającą z 5-dniowego tygodnia pracy, dodatkowo otrzymują dzień wolny, aby wymiar ich czasu pracy wynosił 19 dni (152 godz.). Co mam zrobić z pracownikiem, który pracuje w każdą sobotę, a poniedziałki ma wolne? Nie zgadza mi się jego czas pracy, bo przecież dla niego 3 maja jest pracujący, ale wolny jako święto, więc nie oddaję mu dodatkowego dnia wolnego i przez to w maju br. ma do przepracowania 20 dni i 160 godz. Czy temu pracownikowi też przysługuje dzień wolny?