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

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