Uma área em uma universidade dispõe de 100 professores. Os professores são mestres ou doutores, contratados em regime de dedicação exclusiva ou parcial. Atualmente existem 35 professores com dedicação exclusiva, 40 doutores em regime parcial e 45 mestres. Quantos são os doutores com dedicação exclusiva?