construct/rlve pan solar panels

construct/rlve pan solar panels: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find integers X and Y with 42553964 <= X <= 257723116 and 501693358 <= Y <= 551265586 such that gcd(X, Y) = 257723116.

The task

Find integers X and Y with 42553964 <= X <= 257723116 and 501693358 <= Y <= 551265586 such that gcd(X, Y) >= 257723116.

Part of amphora/MathConstructOptimize-Envs-harbor.