A idade média de Pedro e Julia foi 85. Se a média entre Pedro, Julia e Lucas é 75, qual a idade de Lucas?