Вася в одиночку красит стену за час, а один Петя красит эту стену за пол часа. Сколько минут они покрасят стену, работая вместе?