7.2. Find the number of all integer solutions of the inequality $\sqrt{3 \cos \frac{\pi x}{2}-\cos \frac{\pi x}{4}+1}-\sqrt{6} \cdot \cos \frac{\pi x}{4} \geq 0$, belonging to the interval [1991; 2013].
Answer: 9. Comments. Solution of the inequality: $\frac{8}{3}+8 k \leq x \leq \frac{16}{3}+8 k$. From the given interval, the following numbers will be included in the answer: 1995, 1996, 1997, 2003, 2004, 2005, 2011, 2012, 2013 - 9 numbers.