Using COC[P+](c1ccccc1)(c1ccccc1)c1ccccc1, Cc1csc(Nc2ncc(C=O)cc2OCc2ccccc2)n1 to produce COC=Cc1cnc(Nc2nc(C)cs2)c(OCc2ccccc2)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.