Assume that we only want to prove that a problem is feasible or infeasible.

1-What is the best way of checking feasibility or infeasibility of a MIP ?

2-What does Cplex do, if we do not define objective function for our model and solve it when we write it in C++?