1: \begin{abstract}

2: An integer feasibility problem is a fundamental problem in many areas, 

3: such as operations research, number theory, and statistics.

4: To study a family of systems with no nonnegative integer solution, we focus 

5: on a commutative semigroup generated by a finite 

6: set of vectors in $\Z^d$ and its saturation. In this paper

7: we present an algorithm to compute an explicit description for the

8: set of holes which is the difference of a semi-group $Q$ generated

9: by the vectors and its saturation. We apply our procedure

10: to compute an infinite family of holes for the

11: semi-group of the $3\times 4\times 6$ transportation problem. Furthermore,

12: we give an upper bound for the entries of the holes when the set of

13: holes is finite. Finally, we present an algorithm to find all $Q$-minimal

14: saturation points of $Q$.

15: \end{abstract}

16: