Using CN1C(=O)NCc2cnc(Nc3ccc(-n4cccn4)cc3)nc21 to produce Cn1c(=O)ncc2cnc(Nc3ccc(-n4cccn4)cc3)nc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.