si al doble de la edad de juan se resta 17 años resulta menor que 35, pero mayor que 31. cual es la edad de Juan?