When burned, 3.7 tons of coal releases the amount of energy that you use over the course of a year in the form of heat. How many tons of coal are required to provide you with your yearly energy use if you were to get that energy from a coal burning power plant with 35% efficiency?