Using O=C(Cc1ccccc1)Nc1ccc(CN2CCC(=O)C(=C3SC=CS3)C2=O)cc1 to produce Nc1ccc(CN2CCC(=O)C(=C3SC=CS3)C2=O)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.