Using ClC(Cl)(Cl)C(Cl)(Cl)Cl, Cn1ncc2c(ncn2C(=O)OC(C)(C)C)c1=O to produce Cn1ncc2[nH]c(Cl)nc2c1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.