Using CC(=O)SC1CCN(C(C(=O)C2CC2)c2ccccc2F)C/C1=C\c1ccco1 to produce O=C(C1CC1)C(c1ccccc1F)N1CCC(S)/C(=C/c2ccco2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.