A soma de todas as soluções reais da equação sen 2x = cos x, no intervalo [0, 2π] é