recSM_Solve seems to be operational