Using NC(=O)c1c(F)ccc(O)c1F, FC(F)(F)Oc1ccc(-c2nsc(CBr)n2)cc1 to produce NC(=O)c1c(F)ccc(OCc2nc(-c3ccc(OC(F)(F)F)cc3)ns2)c1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.