Jaki wymiar urlopu przysługuje pracownikowi zatrudnionemu od połowy października 2017 r.?

Pracownik pracował u poprzedniego pracodawcy od 01-01-2017 do 14-10-2017, w tym od 01-01-2017 do 31-05-2017 na 1/2 etatu, zaś od 01-06-2017 do 14-10-2017 na cały etat.Poprzedni pracodawca udzielił Pracownikowi 10 dni urlopu (80 godzin). Pracownikowi przysługuje prawo do 20 dni urlopu rocznie. U nas wykonuje pracę od 16-10-2017r. Ile urlopu powinniśmy udzielić temu pracownikowi za 2017r.? 3 dni- biorąc pod uwagę, że poprzedni Pracodawca powinien udzielić urlopu za okres styczeń - październik 2017r.- czyli gdyby Pracownik pracował na pełny etat, zgodnie z wyliczeniem 10/12*20= 17 dni czyli my udzielamy 3 dni. Czy może 4 dni, zgodnie z założeniem, że poprzedni Pracodawca udziela urlopu za październik, a my za listopad- grudzień czyli 2/12*20 tj. 4 dni?