Using CC(C)(C)C1=CC(=C(c2ccccc2)c2ccccc2)C=C1, c1ccc2c(c1)Cc1ccccc1-2 to produce CC(C)(C)C1=CC(C(c2ccccc2)(c2ccccc2)c2cccc3c2Cc2ccccc2-3)C=C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.