An electrician wants to know whether batteries made by two manufacturers have significantly different voltages. The voltage of 77 batteries from each manufacturer were measured. The population standard deviations of the voltage for each manufacturer are known. The results are summarized in the following table.

Manufacturer	Sample mean voltage (millivolts)	Population standard deviation(millivolts)
A	141	3
B	140	5

What type of hypothesis test should be performed? What is the test statistic? Does sufficient evidence exist to support the claim that the voltage of the batteries made by the two manufacturers is different at the =0.01 significance level?