Using O=C1Cc2c(ccc(F)c2/C(I)=C/C(=O)c2ccc[nH]2)N1, [Li]C(C)CC to produce CCC(C)c1cc(-c2ccc[nH]2)c2c3c(ccc(F)c13)NC2=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.