Pushing the solution after Moduling