construct/rlve pan solar panels
construct/rlve pan solar panels: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find integers X and Y with 84820 <= X <= 88690 and 15258 <= Y <= 22353 such that gcd(X, Y) = 22172.
The task
Find integers X and Y with 84820 <= X <= 88690 and 15258 <= Y <= 22353 such that gcd(X, Y) >= 22172.