construct/rlve pan solar panels

construct/rlve pan solar panels: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find integers X and Y with 454397313 <= X <= 674798904 and 675015801 <= Y <= 765269083 such that gcd(X, Y) = 255089694.

The task

Find integers X and Y with 454397313 <= X <= 674798904 and 675015801 <= Y <= 765269083 such that gcd(X, Y) >= 255089694.

Part of amphora/MathConstructOptimize-Envs-harbor.