Jak ustalić wymiar urlopu urzędnika służby cywilnej?

Urzędnikowi służby cywilnej przysługuje corocznie dodatkowy urlop wypoczynkowy w wymiarze wynoszącym po 5 latach zatrudnienia w służbie cywilnej 1 dzień. Urlop ten wzrasta z każdym rokiem pracy o 1 dzień do osiągnięcia 12 dni. Pracownik z dniem 1 grudnia 2023 r. otrzyma mianowanie w służbie cywilnej. Pracownik zatrudniony jest w służbie cywilnej od 1.09.2014 r. (9 lat), natomiast w okresie od 1.09.2005 r. do 31.08.2014 r.(9 lat) zatrudniony był w szkole na stanowisku nauczyciela.

W jakim wymiarze należy się pracownikowi urlop od 1.12.2023 r.?