Using O=C1NC(=O)c2c1c1c3cc(F)c(F)cc3[nH]c1c1c2c2cc(F)c(F)cc2n1[C@@H]1O[C@H](CO)C(F)(F)[C@H](O)[C@H]1O to produce O=C1NC(=O)c2c1c1c3cc(F)c(F)cc3[nH]c1c1c2c2cc(F)c(F)cc2n1[C@@H]1O[C@@H]2CO[C@H]([C@H]1O)C2(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.