5월1일 노동절 병원 병동 근무자의 경우

안녕하세요 5월 1일 노동절은 대체휴일이 발생하지 않습니다.

병동 근무자의 경우, 토요일, 공휴일 갯수만큼 그 달의 오프가 발생이 되는데

5월은 1일 제외하고 12개의 오프가 발생됩니다.

1일에 오프일경우, 12개의 오프에서 1일에 사용한 오프 차감하는게 맞나요?

아니면 1일 오프 사용한것 제외하고 12개를 사용할수있는건가요?