construct/rlve pan solar panels
construct/rlve pan solar panels: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find integers X and Y with 36 <= X <= 37 and 40 <= Y <= 49 such that gcd(X, Y) = 12.
The task
Find integers X and Y with 36 <= X <= 37 and 40 <= Y <= 49 such that gcd(X, Y) >= 12.