Один человек может вырыть яму за 4 часа. второй человек может вырыть ту же яму за 5 часов. 3-й человек справится с этой работой за 6 часов, а 4-й - за 7 часов. сколько времени с точностью до минуты уйдет у всех четверых на эту яму, если они будут копать вместе?