Using Fc1ccc(Br)nc1, C#C[C@@H]1CC[C@@H](C)N(Cc2ccc(OC)cc2)C1 to produce COc1ccc(CN2C[C@H](C#Cc3ccc(F)cn3)CC[C@H]2C)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.