Using O=C(Nc1ccccc1)C(=C(S)c1ccccc1)c1ccccc1 to produce O=c1c(-c2ccccc2)c(-c2ccccc2)sn1-c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.