9.3. Find the maximum value of the expression $(\sqrt{3-\sqrt{2}} \sin x-\sqrt{2(1+\cos 2 x)}-1) \cdot(3+2 \sqrt{7-\sqrt{2}} \cos y-\cos 2 y) \cdot$ If the answer is not an integer, round it to the nearest integer.
Answer: 9. Instructions. Exact answer: $12-2 \sqrt{2}$.