What did Xavier Doherty (Tasmania) set as his highest Overs?
CREATE TABLE table_name_25 (overs INTEGER, player VARCHAR)
SELECT MAX(overs) FROM table_name_25 WHERE player = "xavier doherty (tasmania)"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_25 (overs INTEGER, player VARCHAR) Question: What did Xavier Doherty (Tasmania) set as his highest Overs? [/INST] SELECT MAX(overs) FROM table_name_25 WHERE player = "xavier doherty (tasmania)" </s>