Using Clc1ncnc2[nH]ccc12, CC1(C)OB(c2coc(C=O)c2)OC1(C)C to produce O=Cc1cc(-c2ncnc3[nH]ccc23)co1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.