Using [Li]CCCC, CCCn1c(=O)c2[nH]c(C3C4CC5C(C4=O)C53)nc2n(CCC)c1=O to produce C=C1C2CC3C1C3C2c1nc2c([nH]1)c(=O)n(CCC)c(=O)n2CCC, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.