Jak ustalić urlop przysługujący pracownikowi przy pierwszym zatrudnieniu w danym roku?

Pracownik zatrudnił się w firmie X 6 kwietnia 2016 r. Ostatnim dniem pracy pracownika był 5 maja 2016 r. Umowa została rozwiązana za porozumieniem stron. Praca w firmie X to pierwsza praca podjęta przez pracownika w 2016 r.. Jednak w poprzednich latach ta osoba pracowała w innym zakładzie pracy - miało to miejsce w 2015 r. (i w 2015 r. zatrudnienie w tym zakładzie się skończyło). Wymiar urlopu wypoczynkowego pracownika wynosi 20 dni.

Ile dni urlopu przysługiwało pracownikowi za okres 6 kwietnia 2016 r. - 5 maja 2016 r. przepracowany w firmie X?