What was the total for united states player phil mickelson?
CREATE TABLE table_name_72 (total INTEGER, country VARCHAR, player VARCHAR)
SELECT MIN(total) FROM table_name_72 WHERE country = "united states" AND player = "phil mickelson"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_72 (total INTEGER, country VARCHAR, player VARCHAR) Question: What was the total for united states player phil mickelson? [/INST] SELECT MIN(total) FROM table_name_72 WHERE country = "united states" AND player = "phil mickelson" </s>