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