Using CC1(C)OC[C@@H](CO)O1, O=Cc1ccc(O)c(Cl)c1 to produce CC1(C)OC[C@@H](COc2ccc(C=O)cc2Cl)O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.