Метрострой нанял двух кротов для рытья туннеля. Один из них копает быстрее другого, а едят они одинаково. Что выгоднее (в смысле затрат продуктов): копать с двух сторон до встречи или копать каждому половину туннеля?