Using O=C(O)c1cccc(F)c1, CC(C)(C)c1nc(C2CCC2)cc(N2CCN(CCCCN)CC2)n1 to produce CC(C)(C)c1nc(C2CCC2)cc(N2CCN(CCCCNC(=O)c3cccc(F)c3)CC2)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.