jl_solutions1

Two working examples: (7,3);y,x-1 y< x-1 3< 7-1 3<6 (7,3) is a solution