Table 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?
SQL: SELECT AVG(league) FROM table_name_20 WHERE name = "benito lorenzi" AND total < 143