Using [O-][I+3]([O-])([O-])[O-], C=CCn1c(=O)cc(OC)c2ccc(F)cc21 to produce COc1cc(=O)n(CC=O)c2cc(F)ccc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.