Using CCN1C(=O)[C@@H]2[C@@H](C(F)(F)F)OC[C@]2(c2cc(N)ccc2F)N=C1NC(=O)OC(C)(C)C, O=C(O)c1cnc(C(F)F)cn1 to produce CCN1C(=O)[C@@H]2[C@@H](C(F)(F)F)OC[C@]2(c2cc(NC(=O)c3cnc(C(F)F)cn3)ccc2F)N=C1NC(=O)OC(C)(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.