Question: This Martin County, Florida city with area code 772 is located on what coast?
Sentence (from "Area code 772"): Area code 772 serves the Treasure Coast of the state of Florida.
Relevant evidence: No