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?