Czy do podstawy naliczania wynagrodzenia za nadgodziny należy przyjąć pełną wartość premii, czy kwotę faktycznie wypłaconą?

Pracownik oprócz wynagrodzenia zasadniczego (2000 zł brutto) otrzymuje stałą miesięczną premię liczoną procentowo od płacy zasadniczej (10%) należnej za czas przepracowany. Pracownik w tym miesiącu (160 godzin) przepracował niepełny miesiąc z powodu urlopu wypoczynkowego (5 dni), więc premia liczona jest od niższej płacy zasadniczej. Pracownik przepracował również w tym miesiącu godziny nadliczbowe (2 godziny z dodatkiem 50% i 3 godziny z dodatkiem 100%).

Czy do podstawy naliczania wynagrodzenia za nadgodziny należy przyjąć pełną wartość premii tj. 200 zł, czy kwotę premii faktycznie wypłaconą, tj. 150 zł?