已知双曲线x^2-y^2/3=1上存在关于直线l:y=kx+4对称的相异两点A B,求实数k的取值范