Using COC(=O)NC(=S)NC1C(=N)C=C(C(=O)c2ccccc2)C=C1Cc1ccccc1, COS(=O)OC to produce COC(=O)N=C(NC1C(=N)C=C(C(=O)c2ccccc2)C=C1Cc1ccccc1)SC, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.