Integer Programming (9.2, either-or & if-then)