Using O=C1c2c(O)cccc2Cc2cccc(O)c21, C=C(C)C to produce CC(C)(C)c1ccc2c(c1O)C(=O)c1c(O)cccc1C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.