Using CC(C)(C)c1ccc(O)cc1, CC(C)(c1ccc(O)cc1)c1ccc(O)cc1 to produce CC1(C)CC(C)(C)c2cc(O)ccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.