7 6 5 minutes cooking pork tenderloin