22. TORA Experiment. In the Reddy Mikks model, suppose that the following constraint is
added to the problem.
X2 ~ 3
Use TORA to show that the resulting model has conflicting constraints that cannot be
satisfied simultaneously and hence it has no feasible solution