3 FARC guerrillas killed, 9 demobilize