若sin(2x+π/3)-a=0,在区间【0,π/2】有两个不同的实数解x1,x2,x1+x2=?