Using [Li]CCCC, CCCCCCCCC1(CCCCCCCC)c2ccccc2-c2ccc(C=O)cc21 to produce C=Cc1ccc2c(c1)C(CCCCCCCC)(CCCCCCCC)c1ccccc1-2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.