nine soldiers and two police officers were killed in the resulting gun battle , and no police officers were wounded , the sources said .
Six policemen and two soldiers were killed in a gunbattle, officials said.