Verify that the given function y is solution of the initial value problem that follows it. y(t) = - 12 cos 12t; y' (t) + 144y(t) = 0, y(0) = - 12. y'(0) = 0