Python Solve Crt