Using COC(=O)C(Cc1ccccc1)NC(=S)Nc1nc2ccc(F)cc2s1 to produce O=C1C(Cc2ccccc2)NC(=S)N1c1nc2ccc(F)cc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.