Using CCOC(=O)C(C)(C)CCCCC(=O)CCCCC(C)(C)C(=O)OCC, [Li]c1ccccc1 to produce C=C(CCCCC(C)(C)C(=O)OCC)CCCCC(C)(C)C(=O)OCC, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.