Using FC(F)(F)c1onc(-c2ccccc2)c1-c1c[nH]cn1, Fc1ccc(C(F)(F)F)cc1 to produce FC(F)(F)c1ccc(-n2cnc(-c3c(-c4ccccc4)noc3C(F)(F)F)c2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.