nine soldiers and two police officers were killed in the ensuing gun fighting , and three policeman men were wounded , the police said .
Six policemen and two soldiers were killed in a gunbattle, officials said.