مرخصی استفاده‌نشده در قراردادهای کمتر از یک سال چگونه محاسبه و بازخرید می‌شود؟

با سلام و وقت بخیر، من ۵ ماه برای شرکتی کار کردم اما از مرخصی استحقاقی استفاده نکردم و قرارداد ما تمام شده است. شرکت می‌گوید چون مدت زمان کار کمتر از یک سال بوده، هیچ پولی برای مرخصی استفاده نشده پرداخت نمی‌کند. همچنین می‌گوید برای کسانی که یک سال کامل کار کرده‌اند، فقط ۹ روز پول مرخصی استفاده نشده پرداخت می‌شود. آیا این مطابق با قانون اداره کار است؟ چگونه می‌توانم این موضوع را پیگیری کنم؟ با تشکر.