Determine the longest interval in which the given initial value problem is certain to have a unique twice-differentiable solution. Verify that y1(t) and y2(t) are two solutions of the differential equation.