Lower bounds for random 3-SAT via differential equations