Using CC=C(CC)c1ccc2sc(C(=O)OCC)cc2c1, Cc1ccccc1O to produce CCOC(=O)c1cc2cc(C(CC)(CC)c3ccc(O)c(C)c3)ccc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.