Как отмерить 15 мин, необходимых для варки вкрутую яйца, при помощи песочных часов, отмеряющих 7 мин и 11 мин?