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