Jak rozliczyć czas pracy zatrudnionego w systemie równoważnym pracownika, który chorował w maju

Zatrudniamy w naszym zakładzie pracowników w równoważnym systemie czasu pracy w 3-miesięcznym okresie rozliczeniowym przypadającym teraz na okres od 1 kwietnia do 30 czerwca br. Jeden z nich zachorował. Przedstawił zwolnienie lekarskie na okres od 24 kwietnia do 6 maja br. W święto 1 maja pracownik ten ma zgodnie z harmonogramem dzień wolny, natomiast w święto 3 maja ma do przepracowania 12 godzin. O ile godzin w takim przypadku należy obniżyć wymiar czasu pracy z tytułu zwolnienia lekarskiego przypadającego na święta majowe?