Using O=S(=O)(Oc1ccc(Oc2ccc(CBr)cc2)cc1)C(F)(F)F, Cc1nc2cccc(F)c2[nH]1 to produce Cc1nc2c(F)cccc2n1Cc1ccc(Oc2ccc(OS(=O)(=O)C(F)(F)F)cc2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.