Code for solving the case where mI = 0 (no inequalities) done. We need some tests