Ran some tests for meeting, need to check MIP formulation