Using Nc1nc(C(F)(F)F)cs1, O=C(O)c1c(/C=C/c2cccc(OC(F)F)c2OC2CCCC2)nc2sccn12 to produce O=C(Nc1nc(C(F)(F)F)cs1)c1c(/C=C/c2cccc(OC(F)F)c2OC2CCCC2)nc2sccn12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.