Zenith Beamforming with Antenna Array for GNSS Interference Mitigation: the Winning Solution of the EUSIPCO 2025 Phased Array Signal Processing Student Challenge | Synapse