How to find common solution of inequalities in Sage

edit

I have few inequalities:

3 x1 + 5 x2 + 2 x3 + 5 x4 + 7 x5 <= 28

2 x1 + 0 x2 + 0 x3 + 8 x4 <= 14

4 x4 + 5 x5 <= 22
3 x2 <= 2
3 x4 >= 1

How to find common solution in Sage ? xi' s are either 0 or 1.