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