While working at Jimmy John's last week, Hal noticed that he was running out of lettuce and became suspicious that the manufacturer was underfilling the lettuce bags. To see if the bags have the stated weight of 15 pounds, he randomly selected 13 bags and found a sample mean of 14.39 pounds with a sample standard deviation of 0.539 pounds. Is this enough evidence that the bags are being underfilled