How much orange juice at 45 a liter should be mixed with grapefruit juice worth 35 a liter to make 200 liters of a mixture worth 40 a liter?