оплата сверхурочных часов при суммированном учете рабочего времени

Подскажите, пожалуйста, как правильно подсчитать количество сверхурочных часов в январе, если работники работают по суммированному учету рабочего времени и в январе один их них отработал 16 смен по 12 часов, из которых 4 смены выпали на нерабочие праздничные дни 1,2,5,6 января, а второй ― 15 смен по 12 часов, из которых 4 смены выпали на 3,4,7 и 8 января. Предприятие заплатило им в одинарном размере за эти дни отдельным видом,т.е в расчетном листочке стоит: оклад 9000 руб (128 часов), доплата за работу в выходные праздничные дни 2250 руб.(32 часа)? Будут ли выходные праздничные часы входить в количество сверхурочных? На какие законы сослаться в случае разногласий между работником и работодателем?