W jaki sposób prawidłowo należy wyliczyć wymiar urlopu wypoczynkowego?

Pracownik był zatrudniony w firmie A od 01.01.2017 r. do 31.03.2017 r. na 1/1 etatu. Następnie pracował w firmie B od 01.04.2017 r. do 31.07.2017 r. W tym samym czasie jednocześnie pracował w firmie C na 1/6 etatu w okresie od 01.05.2017 r. do 31.07.2017 r. Obecnie jest zatrudniony tylko w firmie C na 1/4 etat, ponieważ od 01.08.2017 r. doszło do zmiany etatu w firmie C z 1/6 na 1/4 etatu. Ile dni urlopu wypoczynkowego może wykorzystać pracownik w firmie C przy założeniu że w firmie A wykorzystał już 3 dni, w firmie B wykorzystał już 10 dni, a jego wymiar roczny wynosi 26 dni.

W jaki sposób to wyliczyć?