Using O=C(O)CC1OC(=C2C(=O)Nc3cc(F)ccc32)c2ccccc21 to produce O=C([O-])CC1O/C(=C2/C(=O)Nc3cc(F)ccc32)c2ccccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.