Solver SK_M2