Using C[Si](C)(C)C1=C(B(c2ccccc2)c2ccccc2)C=CC1, [Zr+4] to produce [Zr+3]C1(B(c2ccccc2)c2ccccc2)C=CC=C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.