<question>: What did Xavier Doherty (Tasmania) set as his highest Overs? <context>: CREATE TABLE table_name_25 (overs INTEGER, player VARCHAR)
SELECT MAX(overs) FROM table_name_25 WHERE player = "xavier doherty (tasmania)"