cuál es el doble de 13/20​