Un número más el doble de otro es 12 ¿cuales son los números?