Using COc1cc(C)c(C=O)c(C)c1C, CC1=C(C=CC(C)[P+](c2ccccc2)(c2ccccc2)c2ccccc2)C(C)(C)CCC1 to produce COc1cc(C)c(C=C(C)C=CC2=C(C)CCCC2(C)C)c(C)c1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.