Using O=C1CC(=O)C2C3CCC(O3)C12, Cc1cc(-c2ccccc2)cc(C)c1[Pb+3] to produce Cc1cc(-c2ccccc2)cc(C)c1C1C(=O)C2C3CCC(O3)C2C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.