Using O=CO, COc1ccc(-c2cc3c4c(c2)[C@@H]2CNCC[C@@H]2N4CCC3)c(C(F)(F)F)c1 to produce COc1ccc(-c2cc3c4c(c2)[C@@H]2CN(C)CC[C@@H]2N4CCC3)c(C(F)(F)F)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.