Question: What was the 2010 population of the town near Vernon Hills which was laid out in 1857 and with a city hall designed by Charles Sumner Frost?
Sentence (from "Vernon Hills, Illinois"): The population was 20,120 at the 2000 census, and 25,113 in 2010.
Relevant evidence: No