Первоклассник Петя из школы идет домой 15 минут, а его дедушка, когда идет
за ним из дома в школу, — 10 минут. Однажды они вышли навстречу друг другу и
встретились через 3 минуты после выхода Пети. На сколько минут раньше дедушка
вышел из дома, чем Петя из школы?