Using O=C1NCCC1c1ccc(F)cc1, FC(F)(F)c1ccc(-c2noc(CCl)n2)cc1 to produce O=C1C(c2ccc(F)cc2)CCN1Cc1nc(-c2ccc(C(F)(F)F)cc2)no1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.