Using C#CC(C)(C)O, CN1Cc2c(Br)ncn2-c2cccc(Cl)c2C1=O to produce CN1Cc2c(C#CC(C)(C)O)ncn2-c2cccc(Cl)c2C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.