Using O=c1cnc(-c2ccccc2)c2ccccc2n1, FC(F)(F)CI to produce O=C1CN=C(c2ccccc2)c2ccccc2N1CC(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.