Using O=C(Nc1cnc2[nH]ncc2c1)Oc1ccccc1, CC1CCN(c2nc(C(F)(F)F)ccc2CN)CC1 to produce CC1CCN(c2nc(C(F)(F)F)ccc2CNC(=O)Nc2cnc3[nH]ncc3c2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.