If x men can do a work in y days, how many days will it take (x+4) men to do the same work?