What is the highest points won when the player is aravane rezaï?
CREATE TABLE table_24431348_20 (points INTEGER, player VARCHAR)
SELECT MAX(points) AS won FROM table_24431348_20 WHERE player = "Aravane Rezaï"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_24431348_20 (points INTEGER, player VARCHAR) Question: What is the highest points won when the player is aravane rezaï? [/INST] SELECT MAX(points) AS won FROM table_24431348_20 WHERE player = "Aravane Rezaï" </s>