cual es la mitad de 9.5