dc = 100-c dt
dc 1/(100-c) = dt
-ln(100-c) = t + K1
t = ln(K2) - ln(100-c) (where K1 = ln(K2)
t = ln(K2/(100-c))
When t=0 c=15 so K2 must be 85
t = ln(85/(100-c))
Solving for t when c=25:
t = ln(85/(100-25)) = ln(85/75) =~ ln(17/15) = 0.1252
The Wizard of Odds