123609-2-out-of-4-servers-are-dead