Using [Na]C1C=CC=C1, O=C(c1ccc2ccccc2c1)c1ccc2ccccc2c1 to produce C1=CC(=C(c2ccc3ccccc3c2)c2ccc3ccccc3c2)C=C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.