solve_MIT