Using O=C([O-])[O-], CC1(C)OB(c2ccc(O)nc2)OC1(C)C to produce Cn1cc(B2OC(C)(C)C(C)(C)O2)ccc1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.