Всем привет!

Есть несколько сотрудников (продавец-кассир), которые работали в новогодние каникулы.
В Трудовом договоре время работы прописано следующим образом:
"Работнику устанавливается рабочая неделя в режиме гибкого рабочего времени с выходными днями согласно внутреннему трудовому распорядку, общей продолжительностью не более 40 часов."
Попадают ли данные сотрудники под оплату в выходные и нерабочие праздничные дни согласно ст. 153 ТК РФ?