Using O=C(O)C(F)(F)F, Cc1cc(C)c(N2CCN(C(=O)c3ccc(N4CCNC4=O)cc3C#N)CC2)nc1C to produce Cc1cc(C)c(N2CCN(C(=O)c3ccc(N4CCNC4=O)cc3C(N)=O)CC2)nc1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.