Using C[C@@H]1CNC[C@@H](C)O1, O=Cc1cc(Br)c(F)c(F)c1F to produce CC1CN(c2c(C=O)cc(Br)c(F)c2F)CC(C)O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.