Using CC1(C)CC(Nc2nccc(-c3cc4ccc(O)cc4s3)n2)CC(C)(C)N1, C=CCBr to produce C=CCOc1ccc2cc(-c3ccnc(NC4CC(C)(C)NC(C)(C)C4)n3)sc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.