Using O=Cc1ccc(O)cc1, FC(F)(F)Cc1cc2c(NC3CCNCC3)ncnc2s1 to produce Oc1ccc(CN2CCC(Nc3ncnc4sc(CC(F)(F)F)cc34)CC2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.