Using Cn1c(C(F)(F)F)cc(=O)n(-c2ccc3snc(CCO)c3c2)c1=O, BrC(Br)(Br)Br to produce Cn1c(C(F)(F)F)cc(=O)n(-c2ccc3snc(CCBr)c3c2)c1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.