Using CC(C)c1cc(C=O)cc(C(C)C)c1O, O=C1CNC(=S)N1 to produce CC(C)c1cc(C=C2NC(=S)NC2=O)cc(C(C)C)c1O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.