Using C[C@@H]1O[C@@]1(Cn1cncn1)c1ccc(F)cc1F, O=c1[nH]ccn1-c1ccc(-n2cncn2)cc1 to produce C[C@@H](n1ccn(-c2ccc(-n3cncn3)cc2)c1=O)[C@](O)(Cn1cncn1)c1ccc(F)cc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.