Using CC(C)c1cccc(C(C)CC=O)c1, c1ccc([P+](Cc2ccc3c(c2)OCO3)(c2ccccc2)c2ccccc2)cc1 to produce CC(C)c1cccc(C(C)CC=Cc2ccc3c(c2)OCO3)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.