Using O=C(O)c1cccc(NC2=NCCN2)c1, N=C(N)c1ccc2c(CC(N)=O)c(O)ccc2c1 to produce N=C(N)c1ccc2c(CC(N)=O)c(OC(=O)c3cccc(NC4=NCCN4)c3)ccc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.