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