Question: This Martin County, Florida city with area code 772 is located on what coast?
Sentence (from "Stuart, Florida"): The population was 15,593 in the 2010 census.
Relevant evidence: No