What is average for Benito Lorenzi league when total is smaller than 143?
CREATE TABLE table_name_20 (league INTEGER, name VARCHAR, total VARCHAR)
SELECT AVG(league) FROM table_name_20 WHERE name = "benito lorenzi" AND total < 143
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_20 (league INTEGER, name VARCHAR, total VARCHAR) Question: What is average for Benito Lorenzi league when total is smaller than 143? [/INST] SELECT AVG(league) FROM table_name_20 WHERE name = "benito lorenzi" AND total < 143 </s>