construct/rlve pan solar panels
construct/rlve pan solar panels: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find integers X and Y with 47 <= X <= 48 and 13 <= Y <= 14 such that gcd(X, Y) = 2.
The task
Find integers X and Y with 47 <= X <= 48 and 13 <= Y <= 14 such that gcd(X, Y) >= 2.