Ольга в 2,5 раза старше Марии, а Мария на 5 лет старше Анны. Всем троим вместе 31 год. Сколько лет Марии?