Using C=C(c1ncc(-c2cc(C)cc(Nc3nccc(C(F)F)n3)c2)cn1)[C@H]1CC[C@H](C(=O)OC)CC1 to produce COC(=O)[C@H]1CC[C@H](C(C)c2ncc(-c3cc(C)cc(Nc4nccc(C(F)F)n4)c3)cn2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.