Using Cc1cnc(C)n2nc(C[P+](c3ccccc3)(c3ccccc3)c3ccccc3)nc12, Cn1nc(Br)nc1C=O to produce Cc1cnc(C)n2nc(/C=C/c3nc(Br)nn3C)nc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.