Solve Sagemath