Using O=CO, Fc1ccc(-c2ncn(C3CCN(Cc4ccccc4)CC3)c2-c2ccncc2)cc1 to produce O=CN1CCC(n2cnc(-c3ccc(F)cc3)c2-c2ccncc2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.