Joint Beamforming and Trajectory Design for Multi-Antenna UAV-Enabled ISAC | Synapse