Using Oc1cc(O)cc(C2SCCS2)c1, C=C(C)C1C=CC(C)(O)CC1 to produce CC1=CCC2C(C1)c1c(O)cc(C3SCCS3)cc1OC2(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.