Using O=c1[nH]c(C(F)(F)F)cnc1-c1ccc(F)cc1F, O=C([O-])[O-] to produce COc1nc(C(F)(F)F)cnc1-c1ccc(F)cc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.