smallMITSolve