Using CN1C(=O)C(C)(C)[C@@](C)(c2cc(Nc3ccnn3Cc3ccccc3)ccc2F)N=C1N to produce CN1C(=O)C(C)(C)[C@@](C)(c2cc(Nc3ccn[nH]3)ccc2F)N=C1N, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.