Test Sets for Integer Programs, 0_ Sentences