Решение:
Пусть Антон собрал y грибов.
Максим собрал не меньше 5 грибов, и Максим собрал меньше грибов, чем Антон. Антон и Максим вместе собрали х + 4 = 8 + 4 = 12 грибов.
Получаем, что Антон собрал 7 грибов, а Максим 5 грибов, т.к. других вариантов нет.
Проверим: 5 < 7, 7+5 = 12
Ответ: 7