ساختن دیوار

اگر ۵ مرد دیواری در ۵ روز بسازن چند روز طول میکشه که ۱۰ مرد همون دیوار رو بسازن؟