Jak święta majowe wpływają na rozliczanie czasu pracy w systemie równoważnym

Kilku pracowników naszej firmy od niedawna pracuje w równoważnym systemie czasu pracy. Wcześniej pracowali w systemie podstawowym. Jaki wymiar czasu pracy muszę dla nich zaplanować w maju br., jeżeli pracują oni w 1-miesięcznym okresie rozliczeniowym po 12 godzin na dobę? Czy w ich przypadku święta majowe obniżają wymiar czasu pracy o 12 godzin, czy o 8 godzin?