nine citizens and two constabulary officers were killed in the ensuing artillery battle , and nine police officers were killed , the authorities said .
Six policemen and two soldiers were killed in a gunbattle, officials said.