Bien ese día, o bien de forma rápida debe ser grabado un DF (Descanso compensatorio de festivo), que computa 7,5 horas. Si en tu caso te toca trabajar el sábado 15, y el 16 también por ejemplo, pues el 17 el DF, más tu descanso semanal... es un ejemplo.