what is average for benito lorenzi league when total is smaller than 143?
none