Instruct: What is average for Benito Lorenzi league when total is smaller than 143?
Output: SELECT AVG League FROM table WHERE Name = benito lorenzi AND Total < 143