Коля, саша и миша сажали деревья. в одиночку сажать дерево неудобно, поэтому каждое дерево сажало двое или даже сразу трое из мальчиков. коля учавствовал в посадке четырёх деревьев, саша - пяти, а миша шести. сколько всего деревьев они посадили?