Using CC12CCC3c4ccc(O)cc4CCC3C1CC(=Cc1ccccc1)C2=O to produce CC12CCC3c4ccc(O)cc4CCC3C1CC(=Cc1ccccc1)C2O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.