Using CC(C)(C)c1ccc(C=O)cc1, CC(=O)c1ccc(OCC=C(C)C)cc1O to produce CC(C)=CCOc1ccc(C(=O)C=Cc2ccc(C(C)(C)C)cc2)c(O)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.