The owner of a tea shop wants to mix three kinds of tea to make 100 oz of a mixture that will sell for $0.83 per oz. He uses Orange Pekoe, which sells for $0.80 per oz, Irish Breakfast, for $0.85 per oz, and Earl Grey, for $0.95 per oz. If he wants to use twice as much Orange Pekoe as Irish Breakfast, how much of each kind of tea should he use?