Using CS(=O)c1nc(NC2CC2)n2ncc(/C=C3\NC(=O)NC3=O)c2n1, CS(=O)(=O)c1nc(NC2CC2)n2ncc(/C=C3\NC(=O)NC3=O)c2n1 to produce O=C1NC(=O)/C(=C/c2cnn3c(NC4CC4)nc(-n4ccnc4)nc23)N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.