Using c1ccc([PH+](c2ccccc2)c2ccccc2)cc1, COc1sc(C)c(CO)c1C to produce COc1sc(C)c(C[P+](c2ccccc2)(c2ccccc2)c2ccccc2)c1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.