Database: geo
Question: what is the height of the highest mountain in texas
SQL:
SELECT MAX ( DISTINCT highest_elevation ) FROM highlow WHERE state_name  =  "texas";