Using O=C1CSC(=O)N1, O=Cc1csc(NC(=O)Nc2ccccc2)n1 to produce O=C(Nc1ccccc1)Nc1nc(C=C2SC(=O)NC2=O)cs1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.