Minimize
  x
Subject to
  x - 1 >= 2
Integer
  x
End