Using c1ccc2c(c1)Cc1ccccc1-2, CC(=O)C=C(C)C to produce CC1=CC(C)(C)c2cc3c(cc21)-c1cc2c(cc1C3)C(C)(C)C=C2C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.