Using O=C([O-])[O-], O=c1cnc2c(Oc3cc(-c4ccc(C(F)(F)F)cc4)ncn3)cccc2[nH]1 to produce Cn1c(=O)cnc2c(Oc3cc(-c4ccc(C(F)(F)F)cc4)ncn3)cccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.