{1000 a - 25. v[t]^2 == 1000 v'[t], v[t]}