Using COC(=O)c1ccc(CBr)cc1, CC1(C)CO[PH](=O)OC1 to produce COC(=O)c1ccc(CP2(=O)OCC(C)(C)CO2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.