Cooking temperature for 35 lb pork tenderloin