Sudan puts the death toll at 10,000 .