Using C#CC(C)(C)C, O=S(=O)(c1ccc(Br)s1)n1cccc1 to produce CC(C)(C)C#Cc1ccc(S(=O)(=O)n2cccc2)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.