copilotsolve using chinese remainder theorem - Search