Using COC(=O)[C@H]1CC[C@@]2(CC(c3cc(C(F)(F)F)cc4c3ncn4C(=O)OC(C)(C)C)CO2)[C@@H]1c1ccc(F)cc1 to produce COC(=O)[C@H]1CC[C@@]2(CC(c3cc(C(F)(F)F)cc4[nH]cnc34)CO2)[C@@H]1c1ccc(F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.