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