A soma de todas as soluções distintas da equação $$\cos 3x+2\cos 6x+\cos 9x=0,$$ que estão no intervalo $0\le x\le \pi /2$; é igual a