Using O=C(O)c1cc(-n2cnc(C3CC3)c2)ccn1, C[C@H](n1cnnc1-c1nc(N)cs1)C(F)(F)F to produce C[C@H](n1cnnc1-c1nc(NC(=O)c2cc(-n3cnc(C4CC4)c3)ccn2)cs1)C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.