Using O=S(=O)(O)Cl, Brc1ccc2ncnc(-c3cccs3)c2c1 to produce O=S(=O)(Cl)c1ccc(-c2ncnc3ccc(Br)cc23)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.