Using CC(C)(C)c1ccc(O)c(C(C)(C)C)c1, ClP(Cl)c1ccccc1 to produce CC(C)(C)c1ccc(OP(Oc2ccc(C(C)(C)C)cc2C(C)(C)C)c2ccccc2)c(C(C)(C)C)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.