Grain worth 65 cents per pound was mixed with grain worth 90 cents per pound to produce 20 pounds of a mixture worth 80 cents per pound. Find how many pounds of each was used