what was the average clean and jerk of all weightlifters who had a bodyweight smaller than 87.5 and a snatch of less than 95?
none