Using O=C1CSC(=S)N1, CS(=O)(=O)c1cnc2ccc(C=O)cc2c1-c1ccccc1 to produce CS(=O)(=O)c1cnc2ccc(C=C3SC(=S)NC3=O)cc2c1-c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.