Using COC(CO)(COCc1ccc(C=C2C(=O)C3CCC2(C)C3(C)C)cc1)OC to produce CC12CCC(C(=O)C1=Cc1ccc(COCC(=O)CO)cc1)C2(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.