Use Cplex handles properly.
Read (s,t) from file.