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