La suma de las edades entre Mario y Juan es de 85 años. La edad de Mario en cinco años más será el doble de la edad actual de Juan. ¿Qué edad tiene actualmente Mario?