Using O=C1CC[C@@]2(Cc3ccccc3)c3ccc(C(=O)O)cc3CC[C@@H]2C1, O=Cc1ccccc1 to produce O=C1C[C@H]2CCc3cc(C(=O)O)ccc3[C@]2(Cc2ccccc2)C/C1=C\c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.