Using O=C(Cc1ccccc1)Cc1ccccc1, O=C1C(=O)c2cccc3cccc1c23 to produce O=C1C(c2ccccc2)=C2C(=C1c1ccccc1)c1cccc3cccc2c13, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.