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