CREATE TABLE table_name_20 (league INT, name VARCHAR, total VARCHAR)

What is average for Benito Lorenzi league when total is smaller than 143?
SELECT AVG(league) FROM table_name_20 WHERE name = "benito lorenzi" AND total < 143
SELECT AVG("league") FROM "table_name_20" WHERE "benito lorenzi" = "name" AND "total" < 143