Question: What was the population as of the 2010 census of the county in which Pilsen, Kansas is located?
Sentence (from "Marion County, Kansas"): As of the 2010 census, the county population was 12,660.
Relevant evidence: Yes