CREATE TABLE table_name_20 (league INTEGER, name VARCHAR(255), total VARCHAR(255))
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