№ 11846

Известно, что \[ \frac{\cos 3x}{(2\cos 2x-1)\cos y}=\frac25+\cos^2(x+y)\quad\text{и}\quad\frac{\sin 3x}{(2\cos 2x+1)\sin y}=\frac35+\sin^2(x+y). \] Найдите все возможные значения выражения $\cos(x+3y)$, если известно, что их не менее двух.