Regime escala 12 x 36 e feriado

Bom dia,

Tenho uma dúvida em relação a remunerar funcionários que trabalham em regime de escala 12x 36 aos feriados ...
Baseando-me em pesquisas obtive a informação que os mesmos deveriam receber em dobro, no entanto ha Controvérsias devido a interpretações diferentes.

Se o funcionário tem um salário base de R$ 1000,00 neste regime de escala( totalizando 180 h mensais) e trabalhou em um feriado ( 12 horas) , o mesmo deverá receber ;

R$ 66,66 pelo feriado ( calculando o valor do seu dia )

ou ele devera receber;
R$ 133,20 ( calculando 100% em cima de sua hora normal, obtendo o valor da hora no feriado e multiplicando pelas horas trabalhadas)

Como proceder nesses casos?

Boa tarde, baseado em suas informaçoes, achei o valor de 12 horas extras à 100% : R$ 133,33 sem o DSR do mes.