construct/rlve pan solar panels
construct/rlve pan solar panels: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find integers X and Y with 2862 <= X <= 20567 and 29606 <= Y <= 64020 such that gcd(X, Y) = 20567.
The task
Find integers X and Y with 2862 <= X <= 20567 and 29606 <= Y <= 64020 such that gcd(X, Y) >= 20567.