Using O=[N+]([O-])c1cc(C(F)(F)F)ccc1Oc1cc(C(F)(F)F)[nH]n1, CN=C=O to produce CNC(=O)n1nc(Oc2ccc(C(F)(F)F)cc2[N+](=O)[O-])cc1C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.