Using Fc1cnccc1-c1nc2cc3c(cc2o1)C(F)(F)OC3(F)F, O=C([O-])[O-] to produce COc1cnccc1-c1nc2cc3c(cc2o1)C(F)(F)OC3(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.