Using Nc1cc(-c2cccc(COCC(F)(F)F)c2)n(-c2ccc(F)cc2)n1, O=C1C[C@H](C(=O)O)CN1 to produce O=C1C[C@H](C(=O)Nc2cc(-c3cccc(COCC(F)(F)F)c3)n(-c3ccc(F)cc3)n2)CN1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.