Differential Equations · Challenge problem

A population satisfies $\dfrac{dP}{dt}=(P-10)(20-P)$ with $P(0)=12$. Find the time $t$ at which $P=18$ (give an exact expression involving a logarithm).