Jak obliczyć wymiar urlopu pracownika, który w tym samym roku był zatrudniany przez agencję pracy tymczasowej?

Pracownik rozpoczął pracę 1 stycznia 2016 r. w agencji pracy tymczasowej, w której pracował do 31 marca 2016 r. Na świadectwie pracy wydanym przez agencję widniał wpis o wykorzystaniu przez pracownika 6 dni urlopu. W firmie B pracownik rozpoczął pracę 1 kwietnia 2016 r., należny wymiar roczny urlopu to 26 dni.

Ile zatem dni urlopu powinien mieć pracownik w firmie B 20 czy 19?