Using Fc1cnccc1-c1nc2cc(C(F)(F)F)ccc2o1, Cc1cn[nH]c1 to produce Cc1cnn(-c2cnccc2-c2nc3cc(C(F)(F)F)ccc3o2)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.