Using Cc1cc(O)n2nc(C)c(-c3c(C)cc(Cl)cc3C)c2n1, O=P(Cl)(Cl)Cl to produce Cc1cc(Cl)n2nc(C)c(-c3c(C)cc(Cl)cc3C)c2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.