  EXIST = true And SOLUTION has been found
  Optimal value is         52   with
  X 1  =           1
  X 2  =           0
  X 3  =           0
  X 4  =           1
