I want to know the answer to the following question:
How much of Nigeria has HIV as of 2012?
All the background I'm provided with is that "As of 2012[update], the HIV prevalence rate among adults ages 15–49 was just 3.1 percent.". Is that enough to answer the question?