Using O=C1NC(=S)NC1=Cc1c[nH]c2ncccc12, BrCc1ccccc1 to produce O=C1NC(SCc2ccccc2)=N/C1=C\c1c[nH]c2ncccc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.