A recipe calls for 6.25 cups of sugar to make 5 batches of cookies. How many cups of sugar should Vinny use to make a single batch of cookies?