nine troops and twelve police members were killed in the ensuing gun battle , and six police soldiers were wounded , the officials said .
Six policemen and two soldiers were killed in a gunbattle, officials said.