Using CC1=C(C)C(C)([Zr+3])C(C)=C1C, [Li]C1(C)C=C(C)C(C)=C1C to produce CC1=CC(C)([Zr+2]C2(C)C(C)=C(C)C(C)=C2C)C(C)=C1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.