7 jardineros podan un jardín en 4.5 horas, ¿en cuanto tiempo lo harán 11 jardineros?