Using COC1c2cccc(P(c3ccccc3)c3cccc4c3CC(C)C4OC)c2CC1C to produce CC1=Cc2cccc(P(c3ccccc3)c3cccc4c3CC(C)=C4)c2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.