10 dias vendidos

O porteiro vendeu 10 dias de ferias, dentro desses 10 dias tem 1 feriado de 7 de setembro e ele irá trabalhar. Minha dúvida? Pago 9 dias + o feriado? ou os 10 dias + o feriado? fico no aguardo. Obrigado