Работник на 2 часа с ТЕЛК и платен отпуск

Здравейте, имам такъв работник на 4 часов работен ден, който е с ТЕЛК и получава пенсия за инвалидност. Но от следващия месец ще мине на 2 часа. Досега съгл.чл.319 платеният му отпуск беше 26 работни дни. А сега как да смятам ? И съответно в т.24 на ЕТЗ какво ще подам?
Ако е пропорционално за първите 5 месеца му се полагат 11 дни, а после? Чудя се.
Благодаря !

При 20 р д. годишно при 2 часов работен ден се полагат 5 р.д. платен.
При 26 р.д. годишно при 2 часов работен ден се полагат 5*26/20 =  6,5 р.д. платен. Приблизително 7
Колегата по-горе го е сметнал/а според частите от годината