# Finding an assignment that satisfies a set of inequalities

I have the following simple set of inequalities:

```
var('x,y')
assume(x,'integer')
assume(y,'integer')
assume(x>0)
assume(y>0)
ineq = [x<y, y<3]
```

I would like to find an assignment that satisfies this set of inequalities. In this case there is one such assignment:

```
x=1, y=2
```

In general there may be many assignments; I only need to find one. Is there a way to do this in SageMath?