Jak obliczyć wynagrodzenie za miesiące, w których pracownik wypracował nadgodziny i odbierał za nie czas wolny

W listopadzie 2016 r. jeden z naszych pracowników, wynagradzany stawką miesięczną, wypracował 20 godzin nadliczbowych dobowych, za co w grudniu 2016 r. udzieliliśmy mu czasu wolnego w wymiarze 30 godzin (bez wniosku pracownika). W tych miesiącach nie wystąpiły inne nieobecności pracownika w pracy. Jakie wynagrodzenie powinniśmy wypłacić pracownikowi za te miesiące? W zakładzie obowiązuje 3-miesięczny okres rozliczeniowy pokrywający się z kwartałami kalendarzowymi.