Using NC(=O)[C@@H]1C[C@H](F)CN1, CC(C)n1ncnc1-c1cn2c(n1)-c1cnc(O)cc1OCC2 to produce CC(C)n1ncnc1-c1cn2c(n1)-c1cnc(N3C[C@@H](F)C[C@H]3C(N)=O)cc1OCC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.