Using c1cnc(-c2cccc(-c3nccs3)n2)nc1, Brc1cccnc1 to produce c1cnc(-c2cccc(-c3ncc(-c4cccnc4)s3)n2)nc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.