若方程sin(2x+π/3)-a=0在区间[0,π/2]上有两个不同的实数解x1,x2,则x1+x2=?