Using C=Cc1c(C#N)cnc2ccc(OC)nc12, O=C(NC[C@H]1CNC[C@H]1O)C(F)(F)F to produce COc1ccc2ncc(C#N)c(CCN3C[C@H](CNC(=O)C(F)(F)F)[C@H](O)C3)c2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.