Question: "Sampling" the solution set of linear inequalities

And now for something completely different - something I don't know how to do in Maple! [ :-) ]. Given a system of linear inequalities, say like {a1>5, a2<100, a1 >< a2}, how do I find sample values (integers in this case) in the solution space? For example, I would be happy with {a1=6,a2=3}.
Please Wait...