Using Oc1ccc(-c2sc3cc(O)ccc3c2Oc2ccc(Br)cc2)cc1, C=Cc1cn(C)cn1 to produce Cn1cnc(/C=C/c2ccc(Oc3c(-c4ccc(O)cc4)sc4cc(O)ccc34)cc2)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.