Se 𝑥 ∈ [0; 4π], então o número de soluções da equação cos⁡(2𝑥) = 1/√2 é: