Using O=C(CCC[n+]1ccc(-c2noc(C3CC3)n2)cc1)c1ccc(F)cc1 to produce OC(CCCN1CC=C(c2noc(C3CC3)n2)CC1)c1ccc(F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.