Using C#CCBr, O=c1cc(C(F)(F)F)n2ccnc2n1-c1cc(O)c(Cl)cc1F to produce C#CCOc1cc(-n2c(=O)cc(C(F)(F)F)n3ccnc23)c(F)cc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.