RIAM预测的FDE功能要求接收的卫星数量至少是（ ）颗。