Using O=C1CSC(=S)N1, CC(C)(C)c1ccc(Sc2ccc(C=O)cc2)cc1 to produce CC(C)(C)c1ccc(Sc2ccc(C=C3SC(=S)NC3=O)cc2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.