Using O=C(O)c1cn(-c2cc(C(F)(F)F)ccn2)cn1, CC(C)(C)OC(=O)N[C@H]1CCNC1 to produce CC(C)(C)OC(=O)N[C@H]1CCN(C(=O)c2cn(-c3cc(C(F)(F)F)ccn3)cn2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.