Un numero más su mitad iguala al exceso del doble del mismo sobre 9. Hallar el doble de dicho número