Real-time LEO satellite clock estimation with predicted LEO satellite orbits constrained | Synapse