A pharmacist mixed some 10% saline solution with some 15% saline solution to obtain 100 mL of a 12% saline solution. How much of the 10% saline solution did the pharmacist use in the mixture?