Jak udzielić czasu wolnego za pracę w weekend majowy

Mieliśmy bardzo pilne zlecenie w naszej firmie cateringowej, dlatego pracownicy pracowali od 1 do 3 maja. Są oni zatrudnieni w podstawowym systemie czasu pracy od poniedziałku do piątku po 8 godzin. W firmie obowiązuje 3-miesięczny okres rozliczeniowy (przypada obecnie w okresie od 1 kwietnia do 30 czerwca). Pracownicy pracowali dodatkowo w następujący sposób: 1 maja - 10 godzin (święto), 2 maja - także 10 godzin (niedziela), natomiast 3 maja - 12 godzin (święto). Chcielibyśmy zrekompensować im przepracowane ponad normę godziny poprzez oddanie czasu wolnego. Czy postąpimy prawidłowo, jeśli w czerwcu br. oddamy każdemu z pracowników jednorazowo 5 wolnych dni roboczych?