Using CC(C)n1ncnc1-c1nc2c(s1)CCOc1ccc(Br)cc1-2, C=CS(C)(=O)=O to produce CC(C)n1ncnc1-c1nc2c(s1)CCOc1ccc(/C=C/S(C)(=O)=O)cc1-2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.