If 5 men can do a piece of work in 20 days, in how many days will 10 men and 5 boys do the same work if one man does as much work as 2boys?​