Large Language Model Watermark Stealing With Mixed Integer Programming