Using O=C1c2ccccc2COc2c(Br)cccc21, c1ccc([P+](CCN2CCCC2)(c2ccccc2)c2ccccc2)cc1 to produce Brc1cccc2c1OCc1ccccc1/C2=C/CN1CCCC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.