Question: What NFL player was known as not only the NFl's first draft pick for the Houston Texans, but also played for the teams Buffalo Bills and Miami Dolphins?
Sentence (from "Mario Williams"): Mario Jerrel Williams (born January 31, 1985) is an American football defensive end who is currently a free agent.
Relevant evidence: No