Using O=CCc1cn(-c2cnc(N3CCC(Oc4ccccc4C(F)(F)F)CC3)nc2)nn1, O=P([O-])(O)O to produce O=C(O)Cc1cn(-c2cnc(N3CCC(Oc4ccccc4C(F)(F)F)CC3)nc2)nn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.