<|system|>
Find the value of $y_0$ for which the solution of the initial value problem
$$
y^{\prime}-y=1+3 \sin t, \quad y(0)=y_0
$$
remains finite as $t \rightarrow \infty$</s>.
<|user|>
Can you answer based on context?
<|assistant|>
 -2.5