Using NC(=O)C1=CCN(Cc2ccccc2)C=C1, CN1C=CC=[CH2+]C1C(=O)OCCNC(=O)N(CCF)N=O to produce CN1C=CCC(C(=O)OCCNC(=O)N(CCF)N=O)=C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.