We did not find IP address 198.12.80.22 on or within a day of 2024-06-13. But we did find other IP addresses of Tor relays in the same /24 network around the time: