Udzielenie czasu wolnego za nadgodziny a wynagrodzenie pracownika

STAN FAKTYCZNY: Trzej pracownicy w ciągu tygodnia wypracowali po 8 godzin nadliczbowych. Dwóch z nich wystąpiło z wnioskiem do pracodawcy o udzielenie dnia wolnego. Pracodawca obowiązany jest wypłacić im wynagrodzenie w normalnej wysokości za nadgodziny i udzielić bezpłatnie dnia wolnego. Ponieważ trzeci pracownik nie wystąpił z wnioskiem o czas wolny, dlatego pracodawca sam zamierza mu udzielić wolnego w wymiarze 12 godzin (1,5 × 8 godz.). Pracownicy zarabiają po 3000 zł stałej miesięcznej pensji, nadgodziny powstały w kwietniu 2017 r. Podlegamy w zakresie rozliczania nadgodzin pod przepisy kodeksowe. W jaki sposób udzielenie czasu wolnego wpłynie na wysokość wynagrodzenia tych osób, jeżeli czas wolny zostałby udzielony w kwietniu albo maju?