Question: How much of Nigeria has HIV as of 2012?
Sentence: As of 2012[update], the HIV prevalence rate among adults ages 15–49 was just 3.1 percent.
Answer in sentence: yes