Ребята нашли 80 грибов, причём Вася нашёл грибов в 3 раза меньше, чем Петя, а Ваня - в 2 раза больше Пети. Сколько грибов нашёл Ваня?