Czy pracownikowi zatrudnionemu w równoważnym systemie czasu pracy należy oddać dzień wolny za święto 3 maja?

Pracownik zatrudniony jest w równoważnym systemie czasu pracy. Według harmonogramu pracował po 12 godzin w dni 29, 30 kwietnia 2014 r. i 1, 2 maja 2014 r., następnie miał wolne cztery dni tj. od 3 do 5 maja 2014 r.

Czy pracownikowi należy udzielić dodatkowego dnia wolnego (miesięczny okres rozliczeniowy), za święto przypadające w sobotę 3 maja 2014 r.?