Using OB(O)/C=C/c1ccccc1, Clc1cc2c(nn1)Oc1ccccc1O2 to produce C(=C/c1cc2c(nn1)Oc1ccccc1O2)\c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.