Qual é a média para a liga de Benito Lorenzi quando o total é menor que 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