Using O=C(N1C2CCC1CC(=C1c3ccccc3Oc3c(O)cccc31)C2)C(F)(F)F to produce Oc1cccc2c1Oc1ccccc1C2=C1CC2CCC(C1)N2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.