construct/rlve pan solar panels

construct/rlve pan solar panels: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find integers X and Y with 75902618468 <= X <= 93763097709 and 27284805205 <= Y <= 37650187878 such that gcd(X, Y) = 31254365903.

The task

Find integers X and Y with 75902618468 <= X <= 93763097709 and 27284805205 <= Y <= 37650187878 such that gcd(X, Y) >= 31254365903.

Part of amphora/MathConstructOptimize-Envs-harbor.