Using NNC(=S)Nc1ccccc1, O=c1c(=O)c2ccc(O)cc2c1=O to produce O=c1c(=NNC(=S)Nc2ccccc2)c(=O)c2cc(O)ccc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.