Maria tem 13 anos. Antônio tem o triplo da idade de Maria menos 7 anos. Qual a idade de Antônio?