solve x' + 7x = 5cos(2t), x(0)=4, x'(0)=-23