Como é calculado o feriado trabalhado de um funcionario que trabalha no regime 12x36 na seguinte situação: ele entra no trabalho às 19:00hs (do dia que não é funcionário) e saiu às 07:00hs do dia seguinte (que já é feriado) ?